Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refactor CLI and metrics #211

Merged
merged 44 commits into from
Mar 20, 2024
Merged

Refactor CLI and metrics #211

merged 44 commits into from
Mar 20, 2024

Conversation

deemp
Copy link
Member

@deemp deemp commented Mar 19, 2024 •
edited by pr-codex bot
Loading

Based on #193
Closes #204, #210

PR-Codex overview

This PR adds dataize functionality, refactors Metrics, updates test files, and enhances YAML handling.

Detailed summary

  • Added dataize functionality to PHI program
  • Refactored Metrics structure and added JSON serialization
  • Updated test files and imports
  • Enhanced YAML handling for metrics collection

The following files were skipped due to too many changes: eo-phi-normalizer/src/Language/EO/Phi/Metrics.hs, eo-phi-normalizer/app/Main.hs

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

deemp added 30 commits March 13, 2024 00:21
@deemp
fix(metrics): count dataless formations
fd8a30c
@deemp
fix(metrics): test types
be79d16
@deemp
fix(metrics): test metrics
e83af0c
@deemp
refactor(metrics): update hlint config
963265c
@deemp
refactor(metrics): move metrics module
1e89f30
@deemp
refactor(metrics): follow the reviewer comments
63f1829
@deemp
fix(metrics): counting dataless formations
8d06409
@deemp
feat(metrics): support metrics for bindings by path
cd78a8f
@deemp
fix(metrics): collect metrics for an object
5a663cb
@deemp
fix(metrics): collect object and program metrics
75a8954
@deemp
fix(phiSpec): update metrics functions
cdec22e
@deemp
fix(metrics test): update test format
68fd001
@deemp
fix(site): in the sample program, make the top-level attribute attach…
b70ed95 
…ed to a formation
@deemp
feat(docs): document bindings-by-path
b0e6b05
@deemp
chore(site): run mdsh
0a367aa
@deemp
Merge remote-tracking branch 'origin' into 192-fix-metrics
a9bb4a0
@deemp
refactor(tests): remove redundant import
efa6035
@deemp
chore(site): run mdsh
217c8de
@deemp
fix(metrics): update doctests
94bdd65
@deemp
refactor(any): apply hlint suggestions
b37cdc1
@deemp
fix(site): update docs on the metrics command
0223138
@deemp
feat(scripts): add script to collect metrics for phi and phi-normaliz…
5fc1916 
…ed programs
@deemp
refactor(cli): splitStringOn
398678a
@deemp
refactor(cli): check file exists
55b64e1
@deemp
refactor(cli): use records for commands data
6c659d6
@deemp
refactor(cli): get parser context
31822e9
@deemp
refactor(cli): use more records
fa0c048
@deemp
refactor(metrics): allow optional path
b989921
@deemp
refactor(cli): allow optional path to bindings
ba83593
@deemp
refactor(cli): metrics command
44d5d2b
@deemp deemp requested a review from fizruk March 19, 2024 14:35
@deemp deemp mentioned this pull request Mar 19, 2024
Merged
@fizruk fizruk merged commit 7889633 into master Mar 20, 2024
7 of 10 checks passed
@fizruk fizruk deleted the refactor-cli-and-metrics branch March 20, 2024 17:46
@fizruk fizruk mentioned this pull request Mar 26, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fizruk fizruk fizruk approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Refactor CLI
2 participants
@deemp @fizruk